COMMENT ā VALID 00002 PAGES C REC PAGE DESCRIPTION C00001 00001 C00002 00002 ginsbe[f86,jmc] Notes on Ginsberg paper C00003 ENDMK Cā; ginsbe[f86,jmc] Notes on Ginsberg paper p.7 I don't think that ordering by distance from a given partial world is going to be an extension of set inclusion. It seems that two ideas are being mixed here.